execution end 예문

예문모바일

A liveness property cannot be violated in a finite execution of a distributed system because the " good " event might only theoretically occur at some time after execution ends.